Ø 1. domácí úkol (Logický čtverec) – datum odevzdání: pátek 29. února

Do přiloženého obrázku vyznačte, které úsudky v logickém čtverci jsou správnou formou usuzování.

Soud, u kterého šipka začíná je premisou, ten u kterého končí je závěr.

Máte dánu pravdivostní hodnotu premisy a Vaším úkolem je určit pravdivostní hodnotu závěru.

P – soud je pravdivý

N – soud je nepravdivý

? – pravdivostní hodnotu soudu nelze určit

Například: Předpokládejme, že SaP je pravdivý soud. Potom můžeme s jistotou říci, že:

Ø Sep je nepravdivý soud, protože to je soud k SaP kontrární a tedy nemohou být oba dva současně pravdivé.

Ø SiP je soud pravdivý, protože to je soud k SaP subalterní.

Ø SoP je soud nepravdivý, protože to je soud k SaP kontradiktorický a musí mít proto opačnou pravdivostní hodnotu.

Všimněme si, že při zjišťování těchto pravdivostních hodnot nás ani v nejmenším nezajímalo, co jsou S a P zač, resp. jaké pojmy zastupují. Pravdivostní hodnota závisela jen na pravdivostní hodnotě soudu SaP a na vztazích mezi jednotlivými typy soudů. Obsah těchto soudů, tj. to, co tyto soudy říkají, jsme nemuseli brát v úvahu. To znamená, že ať bychom dosadili za S a P jakékoliv pojmy, výsledek by byl vždy tentýž.

Naopak: Předpokládejme, že SaP je nepravdivý soud. Potom můžeme s jistotou říci, že:

Ø SoP je soud pravdivý, protože to je soud k SaP kontradiktorický a musí mít proto opačnou pravdivostní hodnotu.

O SeP a SiP však nemůžeme říci nic – mohou totiž být pravdivé i nepravdivé

Ø SeP je soud k SaP kontradiktorický. To znamená, že jeden nebo oba dva mohou být nepravdivé. Je-li SaP nepravdivé, nevíme, která z těch dvou situací to je.

Ø SiP je soud k SaP subalterní. Tedy, je-li SaP nepravdivé, SiP pravdivé být může ale také nemusí.

Určení výsledné pravdivostní hodnoty soudů SeP a SiP v tomto případě závisí ještě na dalších okolnostech než jenom na nepravdivosti SaP a vztahů mezi soudy. Za předpokladu, že SaP je pravdivý můžeme tedy s jistotou určit jenom pravdivostní hodnotu soudu SoP.

Obdobně postupujte i ve zbývajících případech, tj. pro soudy SeP, Sip a SoP. Předpokládejte nejprve, že je tento soud pravdivý a určete, pokud to je možné, pravdivostní hodnoty ostatních soudů. A potom proveďte totéž za předpokladu, že to je soud nepravdivý.